леммы накачки

См. также в других словарях:

• Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… …   Википедия

• Лемма Огдена — В теории формальных языков, лемма Огдена предоставляет расширение гибкости леммы о разрастании для контекстно свободных языков. Лемма Огдена утверждает, что если язык L контекстно свободен, то существует некоторое число p > 0 (где p может быть …   Википедия